Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.com·1d
🔧RISC-V Assembler
Flag this post
Automated Semantic Validation of Modular Software Architectures via Hyper-Graph Resonance
🔄Reproducible Builds
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🦀Rust Borrowing
Flag this post
From Bottleneck to Breakthrough: AI in Chip Verification
spectrum.ieee.org·1d
🔧Hardware Verification
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·20h
🔓Decompilation
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
🔗Combinatory Logic
Flag this post
Building Up And Sanding Down
endler.dev·20h
🔩Systems Programming
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.com·5h
🛡️eBPF Security
Flag this post
Vibe coding needs a spec, too
stackoverflow.blog·12h
🔌Interface Evolution
Flag this post
From Lossy to Lossless Reasoning
🔨Compilers
Flag this post
ESTIMED_hackathon1_SSSUP
hackster.io·1d
🔒WASM Capabilities
Flag this post
Horn Clauses
youtube.com·3h
👑Isabelle/HOL
Flag this post
Technology Short Take 189
blog.scottlowe.org·7h
🏠Homelab Archaeology
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·16h
🧮Algebraic Archives
Flag this post
wastrel, a profligate implementation of webassembly
🌐WASI
Flag this post
Registry Analysis
🔍NTLM Archaeology
Flag this post
Loading...Loading more...